Ω-konsistente Theorie - définition. Qu'est-ce que Ω-konsistente Theorie
DICLIB.COM
Outils linguistiques IA
Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:     

Traduction et analyse des mots par intelligence artificielle

Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:

  • comment le mot est utilisé
  • fréquence d'utilisation
  • il est utilisé plus souvent dans le discours oral ou écrit
  • options de traduction de mots
  • exemples d'utilisation (plusieurs phrases avec traduction)
  • étymologie

Qu'est-ce (qui) est Ω-konsistente Theorie - définition


Ω-konsistente Theorie         
In der mathematischen Logik wird eine Theorie als ω-konsistent (oder omega-konsistent) bezeichnet, falls sie keine Existenzaussage beweisen kann, wenn sie alle konkreten Instanzen dieser Aussage widerlegen kann.